@import url("platform:/plugin/org.eclipse.ui.themes/css/e4_default_gtk.css");
